van Lamsweerde, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 25th International Conference on Software Engineering, 2003. Proceedings. - Portland, OR, USA (2003.05.10-2003.05.10)] 25th International Conference on Software Engineering, 2003. Proceedings. - Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

van Lamsweerde, A.

Year:

2003

File:

PDF, 295 KB

2003

2

The humble humorous researcher: A tribute to Michel Sintzoff

Axel van Lamsweerde

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

3

Handling obstacles in goal-oriented requirements engineering

van Lamsweerde, A., Letier, E.

Journal:

IEEE Transactions on Software Engineering

Year:

2000

Language:

english

File:

PDF, 969 KB

english, 2000

4

237 - Deformational Instability of Biomembranes Induced by Chemical Reactions and Electrical Interactions

D. van Lamsweerde-Gallez, P.M. Bisch, A. Sanfeld

Journal:

Bioelectrochemistry and Bioenergetics

Year:

1978

File:

PDF, 41 KB

1978

5

237 - Deformational instability of biomembranes induced by chemical reactions and electrical interactions

D. van Lamsweerde-Gallez, P.M. Bisch, A. Sanfeld

Journal:

Bioelectrochemistry and Bioenergetics

Year:

1978

Language:

english

File:

PDF, 717 KB

english, 1978

6

Early verification and validation of mission critical systems

C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. van Lamsweerde, H. Tran Van

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 430 KB

english, 2007

7

Analyzing Critical Decision-Based Processes

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Journal:

IEEE Transactions on Software Engineering

Year:

2014

Language:

english

File:

PDF, 1.61 MB

english, 2014

8

[IEEE Comput. Soc Fifth IEEE International Symposium on Requirements Engineering - Toronto, Ont., Canada (27-31 Aug. 2001)] Proceedings Fifth IEEE International Symposium on Requirements Engineering - Goal-oriented requirements engineering: a guided tour

van Lamsweerde, A.

Year:

2000

Language:

english

File:

PDF, 1.38 MB

english, 2000

9

Retrieval from long-term memory reduces working memory representations for visual features and their bindings

van Lamsweerde, Amanda E., Beck, Melissa R., Elliott, Emily M.

Journal:

Memory & Cognition

Year:

2015

Language:

english

File:

PDF, 405 KB

english, 2015

10

[ACM International Conference on Software Engineering - Limerick, Ireland (4-11 June 2000)] Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium - Requirements engineering in the year 00: a research perspective

van Lamsweerde, A.

Year:

2000

Language:

english

File:

PDF, 1.58 MB

english, 2000

11

[ACM Press the 14th ACM SIGSOFT international symposium - Portland, Oregon, USA (2006.11.05-2006.11.11)] Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14 - Scenarios, goals, and state machines

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2006

Language:

english

File:

PDF, 466 KB

english, 2006

12

[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.13-2008.05.13)] Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge - SHARK '08 - Goal models as architectural knowledge

van Lamsweerde, Axel

Year:

2008

Language:

english

File:

PDF, 154 KB

english, 2008

13

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Requirements engineering

van Lamsweerde, Axel

Year:

2008

Language:

english

File:

PDF, 1.47 MB

english, 2008

14

The role of top-down suppression in mitigating the disruptive effects of task-irrelevant feature changes in visual working memory

Bocincova, Andrea, van Lamsweerde, Amanda E., Johnson, Jeffrey S.

Journal:

Memory & Cognition

Year:

2017

Language:

english

File:

PDF, 712 KB

english, 2017

15

Hydrodynamic stability of monolayers at fluid—fluid interfaces. I. Ion interactions

P.M Bisch, D Van Lamsweerde-Gallez, A Sanfeld

Journal:

Journal of Colloid and Interface Science

Year:

1979

Language:

english

File:

PDF, 854 KB

english, 1979

16

Hydrodynamic stability of monolayers at fluid—fluid interfaces. II. Dipole interactions

D Van Lamsweerde-Gallez, P.M Bisch, A Sanfeld

Journal:

Journal of Colloid and Interface Science

Year:

1979

Language:

english

File:

PDF, 624 KB

english, 1979

17

Goal-directed requirements acquisition

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas

Journal:

Science of Computer Programming

Year:

1993

Language:

english

File:

PDF, 3.59 MB

english, 1993

18

410 - Phase transitions induced by coloured voltage noise in nerve membranes

D. van Lamsweerde-Gallez

Journal:

Bioelectrochemistry and Bioenergetics

Year:

1981

Language:

english

File:

PDF, 637 KB

english, 1981

19

Formal derivation of strongly correct concurrent programs

Axel van Lamsweerde, Michel Sintzoff

Journal:

Acta Informatica

Year:

1979

Language:

english

File:

PDF, 1.60 MB

english, 1979

20

The role of proteins in a dipole model for steady-state ionic transport through biological membranes

D. Van Lamsweerde-Gallez, A. Meessen

Journal:

Journal of Membrane Biology

Year:

1975

Language:

english

File:

PDF, 1.82 MB

english, 1975

21

Kinetic properties of electrostatic pores with orientable dipoles, for Na+and K+transport through biological membranes

D. Van Lamsweerde-Gallez, A. Meessen

Journal:

Journal of Membrane Biology

Year:

1978

Language:

english

File:

PDF, 1.29 MB

english, 1978

22

Surface dipoles, surface charges and negative steady-state resistance in biological membranes

D. Van Lamsweerde-Gallez, A. Meessen

Journal:

Journal of Biological Physics

Year:

1974

Language:

english

File:

PDF, 1.28 MB

english, 1974

23

The Humble Humorous Researcher: A Tribute to Michel Sintzoff

Axel van Lamsweerde

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 120 KB

english, 2011

24

Deriving tabular event-based specifications from goal-oriented requirements models

Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde

Journal:

Requirements Engineering

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

25

Early Verification and Validation of Mission Critical Systems

C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde, H. Tran Van

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 815 KB

english, 2005

26

Phase transitions induced by coloured voltage noise in nerve membranes

D. Van Lamsweerde-Gallez

Journal:

Journal of Electroanalytical Chemistry and Interfacial Electrochemistry

Year:

1981

Language:

english

File:

PDF, 468 KB

english, 1981

27

Accessing long-term memory representations during visual change detection

Melissa R. Beck, Amanda E. van Lamsweerde

Journal:

Memory & Cognition

Year:

2011

Language:

english

File:

PDF, 307 KB

english, 2011

28

Requirements and Specification Exemplars

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde

Journal:

Automated Software Engineering

Year:

1997

Language:

english

File:

PDF, 87 KB

english, 1997

29

Generating annotated behavior models from end-user scenarios

Damas, C., Lambeau, B., Dupont, P., van Lamsweerde, A.

Journal:

IEEE Transactions on Software Engineering

Year:

2005

Language:

english

File:

PDF, 1.58 MB

english, 2005

30

On an extension of Dijkstra's semaphore primitives

H. Vantilborgh, A. van Lamsweerde

Journal:

Information Processing Letters

Year:

1972

Language:

english

File:

PDF, 701 KB

english, 1972

31

Co-operation between metastatic tumor cells and macrophages in the degradation of basement membrane (type IV) collagen

Nicole Henry, Yves Eeckhout, Anne-Louise van Lamsweerde, Gilbert Vaes

Journal:

Year:

1983

Language:

english

File:

PDF, 2.89 MB

english, 1983

32

The change probability effect: Incidental learning, adaptability, and shared visual working memory resources

Amanda E. van Lamsweerde, Melissa R. Beck

Journal:

Consciousness and Cognition

Year:

2011

Language:

english

File:

PDF, 438 KB

english, 2011

33

Generic lifecycle support in the ALMA environment

Van Lamsweerde, A., Delcourt, B., Delor, E., Schayes, M.-C., Champagne, R.

Journal:

IEEE Transactions on Software Engineering

Year:

1988

Language:

english

File:

PDF, 2.33 MB

english, 1988

34

Managing conflicts in goal-driven requirements engineering

van Lamsweerde, A., Darimont, R., Letier, E.

Journal:

IEEE Transactions on Software Engineering

Year:

1998

Language:

english

File:

PDF, 444 KB

english, 1998

35

Inferring declarative requirements specifications from operational scenarios

van Lamsweerde, A., Willemet, L.

Journal:

IEEE Transactions on Software Engineering

Year:

1998

Language:

english

File:

PDF, 398 KB

english, 1998

36

Assessing requirements-related risks through probabilistic goals and obstacles

Antoine Cailliau, Axel van Lamsweerde

Journal:

Requirements Engineering

Year:

2013

Language:

english

File:

PDF, 1.46 MB

english, 2013

37

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Requirements engineering in the year 00

van Lamsweerde, Axel

Year:

2000

Language:

english

File:

PDF, 201 KB

english, 2000

38

[IEEE Proceedings. 12th IEEE International Requirements Engineering Conference, 2004. - Kyoto, Japan (Sept. 6-10, 2004)] Proceedings. 12th IEEE International Requirements Engineering Conference, 2004. - Goal-oriented requirements enginering: a roundtrip from research to practice

van Lamsweerde, A.

Year:

2004

Language:

english

File:

PDF, 239 KB

english, 2004

39

THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION

Dupont, Pierre, Lambeau, Bernard, Damas, Christophe, Lamsweerde, Axel van

Journal:

Applied Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 1.81 MB

english, 2008

40

[IEEE 2012 IEEE 20th International Requirements Engineering Conference (RE) - Chicago, IL, USA (2012.09.24-2012.09.28)] 2012 20th IEEE International Requirements Engineering Conference (RE) - A probabilistic framework for goal-oriented risk analysis

Cailliau, Antoine, van Lamsweerde, Axel

Year:

2012

Language:

english

File:

PDF, 924 KB

english, 2012

41

[IEEE Comput. Soc. Press 1995 IEEE International Symposium on Requirements Engineering (RE'95) - York, UK (27-29 March 1995)] Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) - Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt

van Lamsweerde, A., Darimont, R., Massonet, P.

Year:

1995

Language:

english

File:

PDF, 1.34 MB

english, 1995

42

[IEEE Comput. Soc Ninth International Workshop on Software Specification and Design - Ise-Shima, Japan (16-18 April 1998)] Proceedings Ninth International Workshop on Software Specification and Design - Reconciling system requirements and runtime behavior

Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.

Year:

1998

Language:

english

File:

PDF, 55 KB

english, 1998

43

[IEEE 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - Transformation operators for easier engineering of medical process models

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2013

Language:

english

File:

PDF, 578 KB

english, 2013

44

[IEEE Comput. Soc. Press ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - Annapolis, MD, USA (6-10 Jan. 1997)] Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout

Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.

Year:

1997

Language:

english

File:

PDF, 75 KB

english, 1997

45

[IEEE Comput. Soc. Press ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - Annapolis, MD, USA (6-10 Jan. 1997)] Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - Analogical reuse of requirements frameworks

Massonet, P., van Lamsweerde, A.

Year:

1997

Language:

english

File:

PDF, 1.37 MB

english, 1997

46

[ACM Press the 4th ACM SIGSOFT symposium - San Francisco, California, United States (1996.10.16-1996.10.18)] Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 - Formal refinement patterns for goal-driven requirements elaboration

Darimont, Robert, van Lamsweerde, Axel

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

47

[IEEE 2013 International Comparing Requirements Modeling Approaches Workshop (CMA@RE) - Rio de Janeiro, Brazil (2013.07.16-2013.07.16)] 2013 3rd International Workshop on Comparing Requirements Modeling Approaches (CMA@RE) - Modeling car crash management with KAOS

Cailliau, Antoine, Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2013

Language:

english

File:

PDF, 918 KB

english, 2013

48

Attention shifts or volatile representations: What causes binding deficits in visual working memory?

van Lamsweerde, Amanda E., Beck, Melissa R.

Journal:

Visual Cognition

Year:

2012

Language:

english

File:

PDF, 487 KB

english, 2012

49

[IEEE Comput. Soc 11th IEEE International Requirements Engineering Conference - Monterey Bay, CA, USA (8-12 Sept. 2003)] Journal of Lightwave Technology - FAUST: formal analysis using specification tools

Rifaut, A., Massonet, P., Molderez, J.-F., Ponsard, C., Stadnik, P., van Lamsweerde, A., Van Hung, T.

Year:

2003

File:

PDF, 183 KB

2003

50

[IEEE Comput. Soc 20th International Conference on Software Engineering - Kyoto, Japan (19-25 April 1998)] Proceedings of the 20th International Conference on Software Engineering - Integrating obstacles in goal-driven requirements engineering

Van Lamsweerde, A., Letier, E.

Year:

1998

Language:

english

File:

PDF, 1.15 MB

english, 1998